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
Merge branch 'readme' of github.com:zkessin/erlog into develop
Merge pull request #26 from zkessin/readme

add some documentation on structured data to the README file
First version of new interface

We have included two different databases based on dict and ETS. The
default is to use dict. While there is no longer any general server
interface we still have a simple erlog shell.
Merge branch 'develop' into new-interface
update readme to match @rvirding's new API