Further work on BLE code in DEV branch

At the moment the DEV branch has a very large rewrite of the BLE driver. It mostly works but sometimes commands to the BLE module fail and also it seems to not be reliably updating GATT characteristics quite as frequently as it should. Testing has revealed that it actually seems to get better as the update frequency is lowered. Investigate the source of the remaining issues.