Changes for Ubuntu 13.10.
Several changes in the Ubuntu installer script.
New development machine at work.
Minor improvements.