Making it easier to change the version of Drupal 8 installed, via drupal_version.txt.