Fixed build.xml--added CoqEdit.jar to classpath
Removed test vernacular file