server: multiple runs, nicer input form, popSize etc

new files are for jquery-ui...