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
Allow lists of goals in erlog:prove
start improving the readme
working on the readme

[ci skip]
update the readme, change to a markdown file
working on the readme

[no ci]
some example code

[no ci]
explain how to execute a statement

[ci skip]
add a section on ets

[skip ci]
more readme, fix markdown

[skip ci]
a bit more on the readme

[skip ci]
add travis widget, fixed a typo

[skip ci]
Add Licence Info
instructions for quickcheck
Merge branch 'readme' of github.com:zkessin/erlog into develop
add some documentation on structured data to the README file