bpextra: new version v 0.2

I’ve fixed a bug in bpextra.The new version can be downloaded from github.

See also this issue for how to define your own deduction styles.