Update dependencies & CI, add docs comments, use leancode_lint

Update dependencies & CI, add docs comments, use leancode_lint #9