Merge branch 'master' of git.frama-c.com:frama-c/frama-c.frama-c.com

assets/css/contact.css

assets/img/community/BTS_Mantis.png

assets/img/community/github.png

assets/img/community/gitlab.png

assets/img/community/mails.png

assets/img/community/stack_overflow.png

assets/img/community/twitter.png

html/contact.html

index.html