HowTo: Install Redmine 2.4.2 on Ubuntu 12.04 LTS