Move example programs in the test configuration.

This fixes the problem that some resources are only accessible
in the test configuration, and is probably more sensible.
A new configuration for benchmark may be also added, and some
commented code is in build.sbt.
Remove dependence from ASM since it is now included in Soot.

This also fix the problem with Soot analyzer, due to different
incompatible versions of ASM.