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
Merge develop branch
remove proper from main rebar feature
Update makefile to not require rebar to build
Switch to eqc, more tests
verbose eunit
adjust ERL_LIBS
set quickcheck output
test assert clauses
More tests
number test
test equality
More tests and make dialyzer work
Remove old versions from travis
Merge