make it less fugly to use other backends with Python #185
Description
Pursuant to #184, we accidentally left the backends named things like hammer._PB_GLR, which is ugly. At some point I want to replace the SWIG-generated bindings with nice FFI ones, but for the time being, let's give the backend symbols friendlier names.