Bigraphs prototype

I pushed all the changes to the bigraphs-prototype branch. We can focus on bitfile first.