Point people at p4c and behavioral-model, over this repository (#105)
Point people at p4c and behavioral-model, over this repository (#105)

* Point people at p4c and behavioral-model, over this repository

* Update markup for links

* Another fix in markup

* Make new paragraph bold

* Change bold markup to avoid including the links, to avoid messing them up

p4lang/p4c-bm,p4lang/p4c-bm,p4lang/p4c-bm