Add support for work_group_memory extension #5243

Job	Run time
Generate coverage and push to Coveralls.io	43m 42s
Indicate completion to coveralls.io	15s
	43m 57s

Provide feedback