Add --[enable|disable]-pthread option.
Remove comment introduced in 4cd2bc42a4aa5d
Merge branch 'build_system' of https://github.com/jpflori/flint2 into trunk