About the file names, we should have bean-validation-specification.pdf and index.html

What to name the initial file, I don't care much: master.adoc, index.adoc, bean-validation-specification.adoc are all fine by me.