Added ability to import manticore.dl parser and infrastructure, provided /home/nikos/Programs/manticore/src is set to manticore source dir