add linting to Github CI