Novice Kvarkadabra & Sci-highs

Kvarkadabra & Sci-highs news feed and changelog.