Merge branch 'develop'
Merge branch 'develop'
Limit dereferencing of goal arguments to one level

This stops unnecessary repeated dereferencing of the arguments when
recursing over the lists.
Add memberchk/2 predicate to lists library

Memberchk/2 only checks if element is there, does not generate a list
and is non-backtracking.
Merge branch 'develop'
now can supply the goal as a string
much more complete makefile
Merge pull request #7 from zkessin/master

now can supply the goal as a string
Merge branch 'master' into develop
Change load function to standard load/1
Add load/1 function and bip to load compiled erlang modules

Added new commands in the erlog interface, and also special case it in
the erlog_shell.
Write curly structures as {...} when operators are turned on
Add findall/3
ignore more files
test the list code
travis.yml config
rebar config
formatting
show coverage
Merge develop branch