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

if repo.system_source.dbdriver == 'postgres':
    install_custom_sql_scripts()