Revision pairing heap #260

Job	Run time
Build (Debug)	2m 41s
Build (Release)	2m 9s
Build & Test (RelWithDebInfo-noEigen)	5m 33s
Build, Test & Coverage (RelWithDebInfo + Eigen)	6m 21s
	16m 44s

Provide feedback