Rename exprlib to library. Name was misleading, it is more than a library for manipulating expressions.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Rename exprlib to library. Name was misleading, it is more than a library for manipulating expressions.