v4.0.2

builds@travis-ci.com

a604b347 · Revert "Temporarily downgrade GHDL" · Oct 25, 2018

Generated tag from TravisCI for release 4.0.2