Rename -no-recomp to -fforce-recomp, and document it