#3233 fixed bug in git/maven copy, causing elevatorenv to hang up.
#2257 develop set snapshot version
#2257 disabled configuration values
re-formatted java file
#2257 disabled apply button
#2257 disabled all input fields.
#2257 goalcontroller now has the name "EIS Controller"
#2257 fixed docu
#2257 updated fig 2 - created new from scratch because broken backwards
compatibility
#3259 ElevatorEnv is now on Java7.