Handle `add-apt-repository` package name change for Ubuntu>=12.10.
Clean up Ubuntu installations. DRY.
Allow `-gt` and `-lt` integer comparison against distribution versions.