Changes to AntLabMain

Changed P2 to Michael Falk, and changed gburdell2 to my GTID as
instructed.

Cut out some white space to keep the remaining instructions in line
with the rest.