Update bootstrap.php

Made config.dist.php optional