Standardize CBMC stub filenames

[adpaco-aws]

At present, there is no naming convention for stub filenames: Some of them have as suffix stub while others use overrides or something else. We should come up with a standard for naming these stubs and apply it here.