add more checks to precheck CI stage
It should also call util/checklibs.sh, to make sure that needed include files are present and .def files are up to date.
It could also check xmllint when documentation is updated, look for Id
tags that haven't been removed, etc.