Tools for padlocks