Android Version Update to 0.8

- implemented a faster (but still ugly) ScriptingFragment
- hopefully fixed the annoying crash, when orientation changes