Devilman sub-series implications

BUR #5880 has been approved by @evazion.

create implication devilman_lady -> devilman
create implication cyborg_009_vs_devilman -> devilman
create implication cyborg_009_vs_devilman -> cyborg_009
create implication devilman_saga -> devilman
create implication devilman_crybaby -> devilman

The various devilman subseries should imply the series as a whole.

The bulk update request #5880 (forum #188689) has been approved by @evazion.

I'm going to assume we don't need a distinction between Devilman-the-series and Devilman-the-1972-anime.