HPE、スーパーコンピュータのCrayを13億ドルで買収