split [Alt_abd] into [Symexec] and [Corestar]

[Symexec] has a mli which should be the main API of corestar
[Corestar] is the commandline interface