We're kinda in a half-way state straddling the "minecraft" name and the "minecrab" name. We might as well go all the way...
minecraft-server-* to minecrab-*
Manta location to ~~/public/minecrab
User on server minecraft -> minecrab (I might decide not to do this so that we keep the "minecraft" process... there might be other users we'll add in the future and don't want to confuse the minecraft server and the user with the minecrab stuff).
We're kinda in a half-way state straddling the "minecraft" name and the "minecrab" name. We might as well go all the way...