Triangulations of lens spaces with few simplices