travis: use a package which actually happens to work on 12.04 and has the webkitwidgets library