new jquery version used
moved openpgpjs sources to official tree