misc stuff.

- Switch @ to use virtualenv python
- Auto-import more things in @
- Allow statements in @, if followed by a semicolon (while still
  retaining functionality)
- Install some packages
- disallow use of "man" command
- turn on java spacing errors