Prefer double quotes for strings

Timeout mechanism

Sets timeouts in HTTP readers, checks for deadline exceeded before each
resolution step, and uses Timeout::timeout for pure-ruby computations.

Document Dhall::Coder

to_a keeps elements as Dhall

Clarify that the README is the authority

Add build instructions to README

aspell

Gemify

Initial README