Keep calm and code on: Productivity tools for developers