Add the logo file in svg

In case it's needed in the future
Merge pull request #73 from gdetrez/logo

Add the logo file in svg
Changed use of depreciated Data.FiniteMap to Data.Map with Happy --glr mode
Merge pull request #81 from oliverbunting/master

Changed use of depreciated Data.FiniteMap to Data.Map with Happy --glr mode