v0.2.5

• Corrects the PooledJSONRPCServer
• Stops the thread pool of the PooledJSONRPCServer in server_close()
• Corrects the Config.copy() method: it now uses a copy of local classes and serialization handlers instead of sharing those dictionaries.