small cosmetic improvements
updated gpdf2swf (patch from Ricardo Pedroso)
merged in Ricardo Pedroso's new pdf2swf gui