Catch-up

• Update Trealla to latest
• Disambiguate atoms and strings.
• Return stderr as well as stdout
• More detailed Variable term
• BigInt support
• Make everything thread-safe