add option to run K with nailgun
fix setenv script to work with kserver
add mvn target for nailgun
fix stray change to pom
move native lib dir to top of path to avoid dependency hell with system PATH
try to fix flush error
add error code to ktest output
synchronize on getAnonVar to avoid counter race condition
fix javadoc
try to fix nontermination error
Merge pull request #1157 from dwightguth/server3

add option to run K with nailgun