FM'15

This version of the library accompanies the following paper:
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia. A Fully Verified Container Library. In Formal Methods 2015.