Add note about requiring SML/NJ