[devtools] delete postgresql socket directory after killing the server ... or when failing to start it.

install_custom_sql_scripts()
commit()