Don't pin dev tools versions.

We'll usually want the most recent version of these tools. They're only
used in development anyway.