CI and badges

Use continious integretion (CI) to have better overview on tests, coverage, documentation (later)

• implement CI
• add badges to repo

changed due date to November 15, 2019

added documentation enhancement labels

added 3m of time spent at 2019-11-05

changed time estimate to 2h

mentioned in commit 430cc664

marked the checklist item add badges to repo as completed

marked the checklist item implement CI as completed

added 1w 2h of time spent at 2019-11-06

subtracted 1w 2h of time spent at 2019-11-06

added 41m of time spent at 2019-11-06

closed via merge request !6 (merged)

mentioned in commit c265313e