Added some architectural documentation.
Changed names in LICENCE file
Relocated source code related to symbolic execution.