add push state support to the development server, fix karma modules in testing