Fix install instructions

Had wrong URL for devtools