Ignore editor temp files when looking for sources
Add --destdir option to configure.py
Release 1.11.8