[PATCH v5] Add pretty printers for the NPTL lock types

[Martin Galvan]

So far it appears to be working fine. I'll fix the other cosmetic
issues and wait for Roland and Carlos' response before
sending v6.