export health, cost and damage per section into a CSV file

closes #3855
add armor types and move calculation into spreadsheet
add weapon name
factor in burst delay
add a pure data export for non-spreadsheet applications
run ./update-wiki.sh again after release deployment

closes #5643
pushd and popd is safer here to not confuse Travis
limit replay browser dropdown box height to something sane

closes #5641
make it clear that this does not need to match content height
StyleCop
set the git user and email to avoid problems
this will never happen
NatUtility.DeviceLost is never fired
this can't throw
check if we really found a UPnP compatible NAT device
time limit the port forwarding if possible
If changed settings require a restart, offer the user to do it now.

Add a dialog when closing the settings screen asking the user if they would like to restart the game now in order to apply any settings that are only applied after restarting the game. The game is reloaded in-process by spinning up a new AppDomain in order to reset state.
Restart the process rather than reloading a new AppDomain.
Fixed #5664

Mission description scrolls to the top whenever a new mission is
selected to avoid out-of-bounds scrollbar
Changed spaces to tabs