make omonad directory use the common directory and
get rid of copied le_util.v log.v and util.v