Change default Ubuntu codename to "precise" (12.04 LTS)

And cleanup whitespace