Add support for DKMS on Ubuntu 13.10

This adds support for using DKMS on Ubuntu 13.10.