Remove Ubuntu 13.04 machines and configurations from production (#386)