mediawiki-core-code-coverage now uses shell installer

Change-Id: I9a5c76f53cbad7069a6278bcb00435cfdb697ae8