[v9_18] Configure Ubuntu 18.04 "bionic" without cmocka and GSS-API
--without-cmocka and --without-gssapi ./configure options have been lost when Debian 9 "stretch" was dropped from the CI. This reintroduces them, albeit to a slightly different platform.
(cherry picked from commit a2c87039)
Closes #3458 (closed)