make flask dev server threaded to support IE10