Added new options to Options dialog (not yet implemented).
Options are now saved (still not implemented).
Syntax-related options have now been commented-out
Added an option for the developer key.
Started work on Get User's Details; made some changes to the implementation of the pastebin_python API library to allow for possible missing fields in the user settings.
Finished Get User's Details.