added prolog analyzer by Michael Birkhoff, functionality for analyzing and searching for Predicates
Merge branch 'master' of https://github.com/l4mpi/siclime