Added a u-prove service which runs in MonoDevelop, and added some stuff to the js-prover (which is now in a subdir of the monodevelop-project)