Small implementation improvements in MCF algorithms (#180)

- Handle max() as infinite value (not only infinity()).
- Better GEQ handling in CapacityScaling.
- Skip the unnecessary saturating operations in the first phase in
CapacityScaling.
- Use vector<char> instead of vector<bool> and vector<int> if it is
possible and it proved to be usually faster.

 EXTRA_DIST += \

 	scripts/bib2dox.py \

 	scripts/bootstrap.sh \

 	scripts/chg-len.py \

 	scripts/mk-release.sh \

 	scripts/unify-sources.sh \

 	scripts/valgrind-wrapper.sh