Add support for Travis CI
Rename tt-name-binders-paper to names-for-free-paper
Travis second try
Travis: Temporarily adapt to Agda-2.3.0.1
Travis: one more adaptation
lambda -> λ
Review HOAS/PHOAS
Related work: syntax for free
Add notes for the related work
Travis: -hlint, +texlive,rubber,run paper
Travis: apt-get *install*
Two para for "bound"