map and md5 files shouldn't be installed with the API documentation #252
Description
Doxygen generates a bunch of *.md5 and *.map files to be used in incremental rebuilds, but they aren't part of the final output. LinBox's make install thus shouldn't install them (they just waste space).