Remove unneeded file.
Replace some len_t's with long.
Change the way headers and libraries are handled in build system.
Merge branch 'build_system' of https://github.com/jpflori/flint2 into trunk
Merge branch 'trunk' into gmp-ecm