Fix cpplint cmake target
Merge branch 'develop' of github.com:pop-team/pop-cpp into develop