Add status badges to the README#10

christiankissig merged 1 commit into

masterchristiankissig/python-isabelle-parser:masterfrom

readme-badgeschristiankissig/python-isabelle-parser:readme-badgesCopy head branch name to clipboard