2017-10: Launching the new gnunet.org

Welcome to the redesign of gnunet.org, our website about GNUnet.