goal_vis now reads from GoalReader, performs verification via keyboard (Enter and Esc)
Merge branch 'master' of https://github.com/andrewjchen/forseti