[Nitro] Devlab and Facets-1.4.2

[Bryan Soto]

I've updated devlab to Facets-1.4.2+ (the plus being the changes Trans
specified in a different thread.)

Please don't pull unless you make the changes Trans specified to
paramix and basename or he releases an updated version of Facets.

If you've already pulled this patch and don't meet the above criteria:

$ darcs unpull --match "exact update-facets-1.4.2"

and hit 'y' at the prompt.

Bryan