U.S. tech workers are seeing their job prospects brightening amid the federal government shutdown.The number of federal workers hired in 2016 jumped to 4.9 million,…