[TravisCI] install php 5.4 on Linux to avoid #3175