Improve Archive properties

This patch adds new properties to the Archive class. We also now use the
keyword CONSTANT to mark the properties that are not supposed to change during
the archive lifetime.

Differential Revision: D1119