Removed possibility of reinstalling Instances

DMARC requieres SPF and DKIM (this breaks the current draft but DMARC is useless if you use spf OR dkim)

allow verification records for DMARC in a TXT-record (like example.com._report._dmarc.external.com. v=DMARC1;)

see:
- http://git.ispconfig.org/panders/ispconfig3/commit/f7ec00b2f8ba3efc5bdeacef9c813f8a826ae3be#note_453
- http://git.ispconfig.org/panders/ispconfig3/commit/f7ec00b2f8ba3efc5bdeacef9c813f8a826ae3be#note_452
- http://git.ispconfig.org/panders/ispconfig3/commit/f7ec00b2f8ba3efc5bdeacef9c813f8a826ae3be#note_450
- http://git.ispconfig.org/panders/ispconfig3/commit/f7ec00b2f8ba3efc5bdeacef9c813f8a826ae3be#note_449

see:
- http://git.ispconfig.org/panders/ispconfig3/commit/f7ec00b2f8ba3efc5bdeacef9c813f8a826ae3be#note_448

- http://en.wikipedia.org/wiki/SPDY

- Directive snippets can now be made available to clients; clients can select an available directive snippet for a website - the appropriate snippet will then be written to the vhost configuration file. This is useful for example on nginx where clients have no access to the Options tab of a website.

- Added HHVM to "Default PHP Handler" field (server configuration).
- Fixed "Unable to load the server configuration from database." error when running server.sh.
- Fixed Javascript (accordions weren't working anymore, directive snippets and other placeholders couldn't be added anymore).

- Changed tform_actions.inc.php to always provide oldDataRecord array for updates even when dbhistory = off.