Add compilation instructions for Ubuntu 12.04