Some scripts for quickly setting up a new environment in Ubuntu