Upgrade Ubuntu box version to 14.04
Add ctags to the common developer packages