PetPlugin: store petcoins in a database. Close #115.