Repl manager API enhancements.
Fix javadoc link.
Javadoc typo.
Fix NPE when no listener is installed.
Added shutdown method.
Merge remote-tracking branch 'remotes/origin/master' into compress
Added shutdown method.
Merge branch 'master' of github.com:cojen/Tupl

Conflicts:
	src/main/java/org/cojen/tupl/Database.java
Added preview view support.
Merge remote-tracking branch 'remotes/origin/master' into compress