Build static program.
Improved time limit handling; made time limit specifiable on command line.
Added simple benchmarking script.