Merge pull request #6 from fgwei/master

modified Amandroid.scala
Added Vrapper.
Update README.rst
Made search returns this.type.
Streamlined schedule recording/replay.
Added Kiasan schedule replay.
Enriched Parser.ErrorReporter to allow for offset location info.
Enriched API.
extended combined evalutor with EvaluatorModule
switched option so that file cases are reported by default
Updated lib.
Added helper script to test Java bundle in mac64.
Removed PermGen argument in Eclipse launcher (deprecated in Java 8).
Update copyright years for all modes.
Updated Osate to stable 2.0.5. Removed rdalte and bless.
Added a helper method to retrieve a procedure name from a procedure URI.