delete: isBst
Merge branch 'master' into develop

Conflicts:
	binsearch.v