Use a version-dependent backend killer command in spec helper

Closes #267.
Defines a static User::terminate_database_connections method and
uses it from both user destructor and testsuite