Install tools that could be built or have been cached

[panglesd]

See #130.

When building a tool failed, we should still install those whose build worked and those which were cached.