remove unused gpgsql-socket option and document postgres socket usage

closes #1117