Add auto-install support for Standard ML