close some memory leaks involving nailgun
add script to stop k server
add batch script to stop nailgun
fix path to batch script
fix batch script again
Merge pull request #1201 from dwightguth/stop

add script to stop k server
fix visibility and name of SORT_CACHE_TABLE
Merge pull request #1200 from dwightguth/memoryleak

close some memory leaks involving nailgun