CI: ubuntu 12.01 does not support Qt 5 so ppa needs to be used instead #11