remove documentation of old build system

we only support the autotools build system now
Merge branch 'pvs/devel'
Merge branch 'pvs/devel'