下载程序，这是一个相当肝的话题，因为各种支持原因（手机问题，系统问题，可能还有microbit版本问题等），所以我做了大量的测试。
手机蓝牙下载程序（下边简称蓝牙OTA），顾名思义，就是在手机上编写程序，然后通过蓝牙（BLE）将程序下载到主板上。从下载时间和固件大小，可以初步判断和mpy（micropython）的不同。应该是和arduino一样将整个固件进行下载，mpy的是只传输py程序。
手机端IDE安装：
苹果用户：应用商店里搜索microbit
安卓用户：play商店里搜索，或者在群文件里找，我上传了。
注意事项：
进入配对模式要长按A和B，按复位，直到读条将25个LED灯都点亮。
能否成功和手机有关，多试两次，不行就换个手机再试，实在不行也没办法。
测试数据：
安卓和苹果两个平台对比，可能因为苹果的硬件一致性比较好，APP可能是官方出的，所以苹果成功率很高。
锤子的两款手机（坚果pro3和坚果3）均不成功，坚果pro3配对不成功，坚果3下载不成功。
华为荣耀手机（老手机型号忘了），第一次可以正常配对并下载，之后就不行了。
红米note9可以正常配对并下载。
本来想搞个在线文档，将我测试的情况都写里，回头弄好了再推文吧。
