html should be compiled at the server too - avoid relying on github

[tveronezi]

use adoc library locally, so we dont depend on github to render our documentation.