[polyml] Berkeley DB binding for Standard ML