Fix #1240: Add stop() to AsyncJSEnv

It is not (and will never be) possible to terminate a program that loops indefinitely. Java does simply not allow it (we had to fork another JVM).