The General Services Administration plans to cut its budget in half and ramp up monitoring of staff. And, Elon Musk could help propel a NASA Mars program — or delay it for another generation.