tiny optimisation in bet_expire()
log to both stderr and log file; blockchain reorganisations
read‐only JSON‐RPC API