Add simulator for Ubuntu 14.04 32-bit
Rename linux-mint16 to linux-mint16_64
Merge branch 'master' of https://github.com/dewb/cosmicpraise
Merge branch 'master' of https://github.com/dewb/cosmicpraise