Fix sourceforge mirror

* add ubuntu 14.04 to Vagrant
* fix mirror url for sourceforge