Bugfixing

• views and styles without extension, let Derby's compilers decide
• filtering: don't allow input to be interpreted as regexp, be case-insensitive
• fix reordering of selections
• stop propagation of Esc
• improved the build system