Algebraic K-theory of virtually free groups