docs: how to try it

[rgrig]

Now that we are beginning to tell people about topl it is time to update the webpage with helpful instructions.

• how to compile it (plus dependencies)
• binaries for most platforms to try it quickly

[rgrig]

Binaries are now on GitHub and linked from the webpage.
Compilation instructions still need to be done.