The BigMC Bigraphical Analysis Tool