Add dependency checks

make sure clingo is installed. If not, redirect user to where it can be
downloaded