GPIO access and interrupt detection with JavaScript