Implement D extension

[foophoof]

Looks like this is mostly about widening the registers from the F extension to 64 bits and adding some more instructions that handle 64-bit floating point numbers. Depends on #2 (implementing the F extension).