Revision pairing heap #257

Job	Run time
Build (Debug)	1m 43s
Build (Release)	1m 55s
Build, Test & Coverage (RelWithDebInfo + Eigen)	0s
Build & Test (RelWithDebInfo-noEigen)	0s
	3m 38s

Provide feedback