update README
add exception test
more pointer analysis options and better explained
get rid of unused method
remove useless parameter
add missing @Overrides in joana.api