ignore __pycache__
lint: do not highlight not supported files

Fix #232
navigator: warn about etags

Close #231
v 14.07.2
version: update windows installer version
ctags: better installation hints
pylint: hint about configuration
settings: increase default font
lint: wait for thread finish when terminating
undoclose: fix crash
Allow installation in virtualenv.
Merge pull request #235 from Yajo/master

Allow installation in virtualenv.
Do not install desktop files on virtualenv
Declare stable development status
repl: fix duplicate interpreter instances