Documented the Launch.java class

Changed the name of the Launch configuration to "NuSMV"