specify timeout to solver on the command line
Merge pull request #23 from regehr/timeout

specify timeout to solver on the command line