Python @deprecated decorator to deprecate old API
