President Donald Trump released his budget proposal for fiscal 2020 on Monday, and there’s plenty in it that will affect the federal workforce.