remove unused code
Updated pengines
ssl
DOC: CLP(B): Add example for sat_count/2.
synch with master