Added script to sample sequence data in encseq format.
Remove unnecessary headers and polish comments.
Added option verify and additional TIME output
Merge branch 'sk' of https://github.com/stefan-kurtz/genometools into sk