A ubuntu 14.04 based development envrionment for the Manchester UK Arm development team