This theme (for the Alaveteli admin interface) has now been merged into the main Alaveteli project.
See the commit in the main project that merged things.
The new instructions for doing development work on the administration interface for Alaveteli can be found here.