Proxy now part of ~/etc

Proxy settings are now stored in ~/etc/proxy directory, symlinked manually as
extras and sourced in the office environment.