clean up Workman left overs
Merge branch 'develop' of github.com:CartoDB/cartodb20 into develop