Initial alpha

• New state machines to replace blocking sigmaprover/verifier.
• Improved documentation.
• JSON parser now supports integers and escape sequences.
• New example code included.
• Improved configuration of timeout intervals.
• Improved logging configuration.
• Support comments in users.txt.
• Bluetooth is now an optional build dependency.