Out with Maven build.

Woo, no more SBT, no more Maven, no more teachers dirty looks.

Actually, we keep a bootstrap Maven build in pacman, but that's a small price
to pay for our freedom.