Cut BMC, Function for justifiability analysis

BMC only runs the BME part of BayesInf, split JA into its own function, removed redundant function in MCMC, added to function diagrams