remprop: reset no-terminal property

Reported by Yong Li.

* spot/twaalgos/remprop.cc: Here.
* tests/python/removeap.py: New test case.
* tests/Makefile.am: Add it.
* NEWS: Document the issue.
* THANKS: Add Yong Li.
15 jobs for next in 315 minutes and 35 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #48086
alpine-gcc

00:31:43

passed #48087
arch-clang

01:13:40

canceled #48101
arch-gcc-glibcxxdebug

03:11:26

passed #48085
debian-gcc-snapshot

01:21:21

passed #48083
debian-stable-gcc

00:41:00

passed #48084
debian-unstable-gcc-coverage

00:49:15

88.7%
passed #48100
debpkg-stable

02:26:50

passed #48092
debpkg-unstable

02:03:46

passed #48089
mingw-shared

00:15:38

passed #48090
mingw-static

00:14:36

passed #48093
rpm-pkg

00:38:10

failed #48088
arch-gcc-glibcxxdebug

01:14:54

failed #48091
debpkg-stable

00:57:42

 
  Publish
skipped #48094
dput
publish-rpm
skipped #48095
dput
publish-unstable