Building on Ubuntu 14.04

The instructions for building on Ubuntu 12.04 are applicable to building on Ubuntu 14.04 too.