Merge pull request #1672 from CEED/jeremy/work-vectorceed - add Ceed[Get,Restore]WorkVector
ceed - add Ceed[Get,Restore]WorkVector