Added core.showrepl; closes #429.