DevToys: A Swiss Army knife for developers