closer to genprog; split blocks, empty statements

* cilMutate.ml (emptyVisitor): This function replaces empty statement
  lists (e.g., the else branch of an if) with dummy statements, so that
  they may be modified later.
  (everyVisitor): This function splits blocks into multiple
  single-instruction statements, allowing for finer grained manipulation.