Amazon steps up its open-source game, and Elastic stock falls as a result