Include alternative _drv.so extension to be used in some linux environments

When I compiled jiffy in Gentoo I couldn't find the jiffy.so file but jiffy_drv.so.
I added a case for this.