Call a user-specified hook function when defining keybindings (#339) #22

Job	Run time
Coq integration tests (8.4, 3.6)	43s
Coq integration tests (8.5, 3.6)	55s
Coq integration tests (8.6, 3.6)	48s
Coq integration tests (8.7, 3.6)	56s
Coq integration tests (8.8, 3.6)	55s
Coq integration tests (8.9, 3.6)	52s
Coq integration tests (8.10, 3.6)	50s
Coq integration tests (8.11, 3.6)	57s
Coq integration tests (8.12, 3.6)	54s
Coq integration tests (8.13, 3.6)	57s
Coq integration tests (8.14, 3.6)	1m 19s
Coq integration tests (8.15, 3.6)	1m 20s
Coq integration tests (8.16, 3.6)	1m 4s
Coq integration tests (8.17, 3.6)	1m 23s
Coq integration tests (8.18, 3.6)	56s
Coq integration tests (8.19, 3.6)	56s
Coq integration tests (master, 3.6)	4m 11s
	19m 56s

Provide feedback