Add installation instructions for Ubuntu 12.10, 13.04.
Ignore build products from Python coverage reports.