Merge branch 'build_system' of https://github.com/jpflori/flint2 into trunk
Merge branch 'build_system' of https://github.com/jpflori/flint2 into trunk
Make static/shared/check for extension modules.
Merge branch 'build_system' of https://github.com/jpflori/flint2 into trunk
Merge branch 'build_system' of https://github.com/jpflori/flint2 into trunk
Support building of extension modules.
Merge branch 'build_system' of https://github.com/jpflori/flint2 into trunk

Conflicts:
	Makefile.subdirs
Make clean for extensions.
Make tune, profile for extensions.
Make tests for extensions.
Make install for extensions.
Added missing line.