Use vagrant box centos/7 with 7.5

Probably related to #23 (closed)