ELF: Additional documentation and doctests

Added ELF to the documentation, and fixed a bug in the calculation of PLT addresses.  There is now a doctest to verify that all GOT and PLT entries line up properly.