Revision pairing heap #258

Job	Run time
Build (Release)	1m 51s
Build (Debug)	3m 2s
Build & Test (RelWithDebInfo-noEigen)	5m 7s
Build, Test & Coverage (RelWithDebInfo + Eigen)	6m 36s
	16m 36s

Provide feedback