Javascript API for Trusted Execution Framework (aka GlobalPlatform)