The former Royal Naval dockyard at Gibraltar has now been turned into a commercial ship repair yard known as Gibdock.