added a simple sort benchmark
added command line option
updated docs
Run tools/dev/mk_manifest_and_skip.pl so that sort.pir gets added to the manifest
added default number of integers to sort