leon -> inox in utils

src/main/scala/inox/utils/Bijection.scala

src/main/scala/inox/utils/FreeableIterator.scala

src/main/scala/inox/utils/GrowableIterable.scala

src/main/scala/inox/utils/IncrementalBijection.scala

src/main/scala/inox/utils/IncrementalMap.scala

src/main/scala/inox/utils/IncrementalSeq.scala

src/main/scala/inox/utils/IncrementalSet.scala

src/main/scala/inox/utils/IncrementalState.scala

src/main/scala/inox/utils/Report.scala

src/main/scala/inox/utils/SCC.scala

src/main/scala/inox/utils/SearchSpace.scala

src/main/scala/inox/utils/SeqUtils.scala