change port to 9001 for Travis CI

I'm sorry.
proxy-test having been hang up on Travis CI.

I'm changing port to avoid this problem.