Fix interpreter mistreating complex executable names#15

vkuncak merged 2 commits intoepfl-lara:masterepfl-lara/scala-smtlib:masterfrom

sankalpgambhir:interpreter-fixsankalpgambhir/scala-smtlib:interpreter-fixCopy head branch name to clipboard