Added badges, updated IAS15 references.