[flashproxy/master] More pyobfsproxy → obfsproxy.