Add TernProject#hasLib(ITernDef def)