make_deb.sh:  --force reinstall.
More make_deb.sh tweaks - architecture detection.
Require latest highlighting-kate and texmath.