Change the way headers and libraries are handled in build system.
Merge branch 'build_system' of https://github.com/jpflori/flint2 into trunk