doc-src/fixbookmarks.pl

the measure valuation is again part of the measure_space type, instead of an explicit parameter to the locale;
changed syntax for simple_function, simple_integral, positive_integral, integral and RN_deriv.
introduced binder variants for simple_integral, positive_integral and integral.

s/\\([a-zA-Z]+)\s*/$1/g;
s/\$//g;
s/^BOOKMARK/\\BOOKMARK/g;