serve gui from zip file for binary distributions. use tornado as external webserver. these changes significantly increase performance for binary distributions.