Hundreds out of the thousands of air traffic controllers who worked during the shutdown are getting a bonus — but only if they didn’t skip