I want to use IRC/SSH at school but both seems to be blocked. I assume they blocked all ports outside of 80 and 8080. Is there anyway to get around this? Maybe a proxy? How would I set this up?