Use BOINC's server_stable branch

* Contains latest API and server components (former branch focuses on client only)
* Using even more explicit configure options
* BOINC's include directory is now lowercase
* Also: added required tool
* Also: improved binary output filenames for deployment