[PRQ#44657] Merge Request for websocketpp-git-dev

MarsSeed [1] filed a request to merge websocketpp-git-dev [2] into websocketpp-git [3]: The target package has to switch its source to the 'develop' branch, and the source package is an orphan from 2 years ago with a wrong name. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/websocketpp-git-dev/ [3] https://aur.archlinux.org/pkgbase/websocketpp-git/