Added test for PROGN, especially an empty one.
Added test for PROGN, especially an empty one.

clasp-developers/SICL,vtomole/SICL,vtomole/SICL,clasp-developers/SICL,vtomole/SICL,vtomole/SICL,clasp-developers/SICL,clasp-developers/SICL