Sync logs
set the +x bit on the tls-mvp-server script
remove the apt-get install of libgmp-dev to see if it breaks (should be caught by installext)
Merge pull request #8 from hannesm/fix

add execution permission to tls-mvp-server script
Sync logs
Merge branch 'master' of github.com:mirage/is-mirage-broken
Sync logs
modified the generated markdown file based on experiments on mirage-www to serve this file -- https://github.com/niksu/mirage-www/commit/48225b28a8c59bbf518595983d9f8cb8be334f9a;
Merge pull request #9 from niksu/keep_body

modified the generated markdown file
Sync logs
Sync logs
also analyse tls* log files