PivotalがアプリケーションプラットフォームPCFの新版を発表、PKSではAWSをサポート