added installation instructions for Ubuntu 12.10