Refactor scotch and add missing dependencies on flex and bison.
Merge pull request #377 from hashdist/johannr/scotch

Refactor scotch and add missing dependencies on flex and bison.