Stalks for presheaved spaces

This file lifts constructions of stalks and pushforwards of stalks to work with the category of presheafed spaces.