gui for adjusting filters / #305

Actually we don't really need this to be ajax, but keeping all filters as a complete setup from one page to another might be tricky. Session-variables might help with this problem (because storing anything into Cookies is not very clever).