Merge branch 'several-fixes' into 'master'

_fc-plugins/wp.md

_fc-publications/pathcrawler/2012-qsic-wk.md

_fc-publications/wp/acsl-by-example.md

_fc-publications/wp/wp-tutorial.md

_includes/blog-footer-standalone.html

_includes/blog-headers-standalone.html

_includes/footer-standalone.html

_includes/footer.html

_includes/headers-standalone.html

_includes/headers.html

_posts/2010-09-30-welcome.md

...-05-What-functions-does-a-function-use-option--users.html

...ng-indeterminate-contents-might-as-well-be-undefined.html

...-case-management-in-floating-point-library-functions.html

_posts/2013-09-17-Aorai-and-Value-for-Security.md

...9-Frama-C-blog-becomes-self-aware-author-unnecessary.html

...09-23-A-mini-tutorial-of-ACSL-specifications-for-Value.md

assets/css/main.css

assets/css/terms.css

assets/img/acknowledgements/decoder.png