v31.1
scripted-diff: [doc] Unify stale copyright headers
ipc mining: break compatibility with existing clients (version bump)
mining: add interrupt()