droonga-engine: use 10031 as the default Droonga engine port number