Add support for DKMS on Ubuntu 13.04

This adds support for using DKMS on Ubuntu 13.04.