弊学の無線LAN環境に自動ログイン＆プロキシ自動設定するツール (for Linux)