Install boost on arch

Authored by nicolasfella on May 28 2020, 5:13 PM.