set v.1.11.4 release date
Merge branch 'gh-pages' of https://github.com/enricovianello/storm into gh-pages