A set of otawa plugin

explo just prints some information about BB initialize_RMB_LMB computes rmb and lmb for each BB