[script] update build-server.py

fix raspberry pi package name
[scripts] added 3.0 upgrade script for seafile windows server