Readme for NanoProlog-0.2

NanoProlog README goes here.