better size/position of main editor, and make hoverLocs do cycling
Merge branch 'new-world' of github.com:brownplt/pyret-lang into new-world
fixing some things up for errors and bootstrap env
.