Use 10041 as the default port number

10041 is the same port number as Groonga's HTTP server.