Update for ABC interpreter prelinker

Ghost User
2019-04-08T14:55:24+02:00

Depends on https://gitlab.science.ru.nl/clean-and-itasks/clean-ide/merge_requests/13.