Un-hardcode device path and filesystem size.

[bhavyejain]

Currently, the filesystem size and the disk storage device path are hardcoded in header/disk_layer.h. We should add a shell script that compiles the filesystem with relevant flags to define the disk path and filesystem size during compilation and mounts it on the given disk path.

The same needs to be done for mkaltfs.