Updates map gui to have dynamically sized points
Merge branch 'master' of github.com:rss-2014-team-6/rss-team-6-state-machine