Remove unused examples/bootstrap.php