Convert README to Markdown and add CI badges#17

Merged

DominikBernhardt merged 1 commit intolbfm-rwth:masterfrom olexandr-konovalov:readme-markdown

Dec 4, 2018

+23-9

Commits on Dec 3, 2018

Convert README to Markdown and add CI badges
Alexander Konovalov
committed