Introduce fomantic-ui, replacing semantic-ui

Replaced semantic-ui with the drop-in replacement fomantic-ui [0]
which is a maintained fork. The fomantic-ui used here is a custom
build [1] of the less-version _without_ google-fonts (css-only). The
javascript part of fomantic-ui is not used, and also jquery could be
dropped now.

[0] https://fomantic-ui.com
[1] https://github.com/eikek/fomantic-slim-default

Issue: #349

modules/webapp/src/main/elm/Ports.elm

@@ -5,8 +5,6 @@ port module Ports exposing
     , onUiSettingsSaved
     , removeAccount
     , setAccount
-    , setAllProgress
-    , setProgress
     , storeUiSettings
     )
 
@@ -23,12 +21,6 @@ port setAccount : AuthResult -> Cmd msg
 port removeAccount : () -> Cmd msg
 
 
-port setProgress : ( String, Int ) -> Cmd msg
-
-
-port setAllProgress : ( String, Int ) -> Cmd msg
-
-
 port saveUiSettings : ( AuthResult, StoredUiSettings ) -> Cmd msg