Intersection forms of definite manifolds bounded by lens spaces