Document that adios() does not return. abort() ensures it won't.

Document that adios() does not return.  abort() ensures it won't.

Discussion with David confirmed that adios()'s de facto contract with
the caller is that it won't return.  Document that, and add an abort(3)
to ensure it won't occur.  Better that than return and blunder on until
a SEGV or corruption later.