Federal employees do get some extra time off on election day this fall. A reminder from the Office of Personnel Management details exactly how.