ci(cryptocell): add Cryptocell-713 build configuration

Added a build coonfiguration for Cryptocell-713 and alongside, renamed
config for Cryptocell-712

Change-Id: I7edcafb1d20fdc8cb4af799e4889989c062d3383
Signed-off-by: Manish V Badarkhe <Manish.Badarkhe@arm.com>
4 files changed