Revision pairing heap #252

Job	Run time
Build (Debug)	2m 39s
Build (Release)	1m 55s
Build & Test (RelWithDebInfo-noEigen)	5m 28s
Build, Test & Coverage (RelWithDebInfo + Eigen)	6m 26s
	16m 28s

Provide feedback