Virtually free pro-p groups