servlet* fns need to be in user's server.clj for WAR files

Verified to work on beanstalk. Note that servlet-init is
yet another place where initialization is required.