fix a bug of Converter.PB2LP

Reported by Yusuke Endoh. Thanks!
insert build status image into README.md, which is intended to be shown on github.
hack to avoid combining comonad-4.* and representable-functors-3.2.0.1 when compiling algebra package