handle font size changes and take font descent into account when renedering labels
font options i18n and version update
respect chosen font size in the timeline

--HG--
extra : amend_source : a84aa5aafda731aeef57dab3ab55e6c5c80c98c0
updated launcher: hopefully works on both Linux and Mac OSX, resolves symlinks and handles directories with spaces