Bugfixes in tor.js and tor.util.js, included Phonegap framework.