A jar-based Ceylon module that provides the servlet API