Setup and configuration files for an Ubuntu 12.04.2 development environment