suffixarray.py: add verbose print, add arguments
logback.xml: declaration
Main: output raw(-ish) repeat substrings
growthring-web, servlet: new line
faster json output: use mkString instead of reduce, use greedyLength instead of greedyLengthFreq
servlet: ondemand output, bump version up to 0.4
DP covering without gaps, tiled layers in servlet