org: run a spell checker on the documentation

* doc/org/autcross.org, doc/org/autfilt.org, doc/org/citing.org,
doc/org/compile.org, doc/org/concepts.org, doc/org/csv.org,
doc/org/dstar2tgba.org, doc/org/genaut.org, doc/org/genltl.org,
doc/org/hierarchy.org, doc/org/hoa.org, doc/org/index.org,
doc/org/install.org, doc/org/ltl2tgba.org, doc/org/ltl2tgta.org,
doc/org/ltlcross.org, doc/org/ltlfilt.org, doc/org/ltlgrind.org,
doc/org/ltlsynt.org, doc/org/oaut.org, doc/org/randaut.org,
doc/org/randltl.org, doc/org/satmin.org, doc/org/tut.org,
doc/org/tut01.org, doc/org/tut02.org, doc/org/tut03.org,
doc/org/tut04.org, doc/org/tut10.org, doc/org/tut11.org,
doc/org/tut12.org, doc/org/tut20.org, doc/org/tut21.org,
doc/org/tut22.org, doc/org/tut23.org, doc/org/tut24.org,
doc/org/tut30.org, doc/org/tut31.org, doc/org/tut50.org,
doc/org/tut51.org, doc/org/tut52.org, doc/org/tut90.org,
doc/org/upgrade2.org: Run ispell-buffer on all these.
* bin/autfilt.cc, python/spot/__init__.py: Fix typos in
help texts noticed while spell-checking the org files.
14 jobs for next in 236 minutes and 4 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed alpine-gcc #100046

01:00:01

passed arch-clang #100047

00:55:19

passed arch-gcc-glibcxxdebug #100048

01:22:37

passed debian-gcc-snapshot #100045

01:34:28

passed debian-stable-gcc #100043

01:03:26

passed debian-unstable-gcc-coverage #100044

00:59:47

90.6%
passed debpkg-stable #100051

03:15:45

passed debpkg-unstable #100052

03:08:03

passed mingw-shared #100049

00:11:06

passed mingw-static #100050

00:09:41

passed raspbian #100054
armv7

01:33:13

passed rpm-pkg #100053

00:52:08

 
  Publish
passed publish-rpm #100055
dput

00:00:23

passed publish-unstable #100056
dput

00:01:33