Added OS-specific install description for Ubuntu 12.04 to INSTALL.Ubuntu.12.04.md