Bug fixes

This is the pre-wifi experimentation, with the latest bug fixes:

• Too long SMS could not be deleted
• Voice call would block SMS reading

The code for this release has been running since Aug. 2017 24/7 on one device.