updated devtools file to include repository tools instead of libtuf