Upgradeable libraries

[frangio]

It would be interesting to enable upgradeable Solidity libraries (i.e. library contracts).

Inline functions pose a problem because the compiler inlines them. We would need to restrict upgradeable libraries to only have external functions.