Add max_shared flag to expr_cell. Improve app constructor.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Rename max_sharing files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>