Update to batman 0.14.1

I know you guys are reworking some stuff for 0.15, but for those of us still on 0.13.1, doing the upgrade in two steps will likely be easier.  Did I miss any files?