Prefer double quotes for strings
Sets timeouts in HTTP readers, checks for deadline exceeded before each
resolution step, and uses Timeout::timeout for pure-ruby computations.
to_a keeps elements as Dhall
Clarify that the README is the authority
Add build instructions to README