JML has a website now

It's a little on the "ugly and boring" side at the moment, but JML now has an actual website. http://java-jml.sf.net/ I put up copies of the examples and the javadocs so now they are easy to access online! Enjoy!