We use several light sources... you can buy Brinkmanns for about £50.. you can also make your own Sun-gun if you want for about £8 and any old power drill.
Predominantly we have a selection of LED free standing lights which can be angled (like the ones you show but LED instead of Halogen), Halogen free standing lights (which are good but generate a lot of heat so hot working) and a few other LED and Halogen hand torches...
I'd recommend both Halogen and LED as some marks are easier to spot under certain lighting..