Android library for Greasemonkey-compatible user script support