rpm v3.1.7 rebuilt

经测试，用rpmbuild构建的话对于fc19和fc20需生成不同的包。
* 二者在doc文件夹的命名上处理不同。
* 二者的依赖不同。播放mp3在fc20中还需要gstreamer1-plugins-bad-freeworld（缺少MPEG-1 Layer 3 (mp3) decoder），而播放mp4的问题还没有解决（缺少H.264 decoder），一个需要的包是gstreamer-plugin-crystalhd，但还是无法播放（包括用totem，这两个依赖也是用它自动检测出来的）