Update dep versions & copyrights for release.
<dependency>
<groupId>org.kframework.dependencies</groupId>
<artifactId>nailgun-server</artifactId>
- <version>0.9.2-k4.0-SNAPSHOT</version>
+ <version>0.9.2-k4.0</version>
</dependency>
<dependency>
<groupId>org.kframework.dependencies</groupId>
<artifactId>ng</artifactId>
- <version>0.9.2-k4.0-SNAPSHOT</version>
+ <version>0.9.2-k4.0</version>
<classifier>linux</classifier>
<type>uexe</type>
</dependency>
<dependency>
<groupId>org.kframework.dependencies</groupId>
<artifactId>ng</artifactId>
- <version>0.9.2-k4.0-SNAPSHOT</version>
+ <version>0.9.2-k4.0</version>
<classifier>osx</classifier>
<type>uexe</type>
</dependency>
<dependency>
<groupId>org.kframework.dependencies</groupId>
<artifactId>ng</artifactId>
- <version>0.9.2-k4.0-SNAPSHOT</version>
+ <version>0.9.2-k4.0</version>
<classifier>windows</classifier>
<type>exe</type>
</dependency>
