Drop check for unused lava-dev-tool
Drop check for unused lava-dev-tool

The development settings report a confusing message
about the obsolete lava-dev-tool (potentially confusing
with the lava-dev package and supporting scripts).

Change-Id: Ia40f0b9ec228a447c79c872301acc115102b5647

Linaro/lava-server,Linaro/lava-server,Linaro/lava-server,Linaro/lava-server