Shell|GUI: Added preferences option for choosing the console font
Merge branch 'master' of ssh://github.com/skyjake/Doomsday-Engine