TProofLite:: fix memory leak

Fix memory leak in saved query results.
Set the default number of query results kept in memory to 1.
TProofPlayerLite: set default packetizer TPacketizer