testing/test_server.py: Change default port to 8001. Change-Id: I046549da0eb08e4bd21a675090dd10508b0b63a9