Removing GET: Compilation should only be triggered on POST request.
adding parsing of the provides.
adjusting Compiler servlet to save the set of provides.
Adding the saving of the provides when compiling a program.