move the pgm output in heigtmap
replace planemap<bool> by binarymap
add an assert if the sizes of the two maps differ in logical_combine
add an output_intermediates option in playability finalizer
fix a bug in reachability: read out of the map
remove useless commented code and useless header